Model-checking quantum systems
نویسندگان
چکیده
منابع مشابه
Model checking quantum protocols
We introduce model-checking techniques for the automated analysis of quantum information protocols. These protocols take advantage of features of quantum theory such as entanglement and quantum measurement and some implementations already exist. Our techniques enable us to model a class of quantum protocols (those expressible within the stabilizer formalism) which are simulable in polynomial ti...
متن کاملModel checking quantum Markov chains
Article history: Received 10 May 2012 Received in revised form 28 November 2012 Accepted 22 April 2013 Available online 25 April 2013
متن کاملModel Checking Multiagent Systems
limited distribution notice This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of thetransfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and spe...
متن کاملModel-Checking Parameterized Systems
In this paper we present a new abstraction technique that enables the usage of model checking for the verification of parameterized systems. The technique targets asynchronous systems. Compared to previous approaches the application of the proposed technique imposes fewer restrictions on the correctness property. Moreover, it can be applied to a class of parameterized systems for which other ab...
متن کاملModel checking pushdown systems
The thesis investigates an approach to automated software verification based on pushdown systems. Pushdown systems are, roughly speaking, transition systems whose states include a stack of unbounded length; there is a natural correspondence between them and the execution sequences of programs with (possibly recursive) subroutines. The thesis examines modelchecking problems for pushdown systems,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: National Science Review
سال: 2018
ISSN: 2095-5138,2053-714X
DOI: 10.1093/nsr/nwy106